Autor: Gallier, Jean H. Se han encontrado 1 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Libro |
Logic for computer science: foundations of automatic theorem proving | Gallier, Jean H. |
1st ed.
(c1987) |
Domicilio
|
---------- |